projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3200b3) | patch
adwaita: Remove menu margins
authorLapo Calamandrei <calamandrei@gmail.com>
Fri, 11 Aug 2017 13:07:13 +0000 (15:07 +0200)
committerLapo Calamandrei <calamandrei@gmail.com>
Fri, 11 Aug 2017 13:07:13 +0000 (15:07 +0200)
commit30a7264865ae5f97771dd895068446157a1535e9
treeffebee9ce94eea22a6d95bd90cd27e45e0834772tree | snapshot
parentf3200b33361e2ee53b56091b21cc7f62481042b3commit | diff
adwaita: Remove menu margins

menu margins have been added has a hack to mitigate bug:
https://bugzilla.gnome.org/show_bug.cgi?id=591258 with gtk+4 this
doesn't work anymore on gtk+4, the margin should probably be moved
to the parent window node, but it's not selectable, commenting out
for now.
gtk/theme/Adwaita/_common.scss diff | blob | history
gtk/theme/Adwaita/gtk-contained-dark.css diff | blob | history
gtk/theme/Adwaita/gtk-contained.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.